$\forall$$A$:Type, $I$:MaInterface($A$), $i$:Id.
\\[0ex]($i$ $\in$ ma{-}interface{-}locs($I$))
\\[0ex]$\Rightarrow$ ($\forall$$k$:Knd. ($\uparrow$ma{-}interface{-}domb($I$;$i$;$k$)) $\Leftarrow\!\Rightarrow$ ($k$ $\in$ ma{-}interface{-}dom($I$;$i$)))